Monday again - what happened last week? Saw GA last week on Wednesday? and agreed to do paper for ALT-J. looked out papers on software tools and equations.
Also today met Penny for lunch - she gave me a reference.
Aslo saw GA again and we discussed the paper:
Look at a Dream system for mathematicians, define one. Provide evidence. Look at existing software - does any of it have these features?
What can be done already.
How far is BB and chums from achieving this.
posted by LHL @ 2:26 PM
0 Comments:
Post a Comment
<< Home